Annonce : Création du Groupe d’études dumasiennes

Combinatoire autour du groupe symétrique

Publications Du Groupe « Vérification Et Méthodes Formelles »

titative model-checking of one-clock timed automata under probabilistic semantics. [4] Bernard Boigelot and Julien Brusten. A generalization of cobham's theorem to automata over real numbers.

Groupe ACROE-ICA Ingénierie pour la création artistique : geste, musique, mouvement, image

L’ACROE, centre de recherche et de création en convention avec le ministère de la Culture et de la Communication, et l’ICA, Laboratoire d’ingénierie de la création artistique de l’Institut Polytechnique de Grenoble, sont deux organismes associés pour mener un programme de recherche, d’innovation technologique, de création et de formation dans le domaine des arts portés par les nouvelles technol...

Sur les sous-groupes nilpotents du groupe de Cremona

We describe the nilpotent subgroups of the group Bir(P(C)) of birational transformations of the complex projective plane. Let N be a nilpotent subgroup of class k > 1; then either each element of N has finite order, or N is virtually metabelian.

A correction to Conducteur des Représentations du groupe linéaire

Nadir Matringe has indicated to me that the paper Conducteur des Représentations du groupe linéaire ([JPSS81a], citeError2) contains an error. I correct the error in this note. The correct proof is actually simpler than the erroneous proof. Separately, Matringe has given a different, interesting proof of the result in question ([Mat11]). We recall the result in question. Let F be a local field....